منابع مشابه
Tractability through increasing smoothness
We prove that some multivariate linear tensor product problems are tractable in the worst case setting if they are defined as tensor products of univariate problems with logarithmically increasing smoothness. This is demonstrated for the approximation problem defined over Korobov spaces and for the approximation problem of certain diagonal operators. For these two problems we show necessary and...
متن کاملField Verification of Smoothness Requirements for weigh-in-Motion approaches
The smoothness of the pavement surface approaching a Weigh-In-Motion (WIM) scale directly affects the device’s ability to accurately estimate static loads from measured dynamic forces. Lack of smoothness creates difficulties in obtaining an acceptable weighing error. Efforts were made in this study to determine appropriate threshold values of profile length and roughness approaching the WIM. Ro...
متن کاملOn the Smoothness of Functors
In this paper we will try to introduce a good smoothness notion for a functor. We consider properties and conditions from geometry and algebraic geometry which we expect a smooth functor should has.
متن کاملRuntime Verification Through Forward Chaining
In this paper we present a novel rule-based approach for Runtime Verification of FLTL properties over finite but expanding traces. Our system exploits Horn clauses in implication form and relies on a forward chaining-based monitoring algorithm. This approach avoids the branching structure and exponential complexity typical of tableaux-based formulations, creating monitors with a single state an...
متن کاملGraph Grammar Verification through Abstraction
ion Paolo Baldan, Barbara König, and Arend Rensink 1 Dipartimento di Informatica, Università Ca’ Foscari di Venezia
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Visualization Society of Japan
سال: 2000
ISSN: 1884-037X,0916-4731
DOI: 10.3154/jvs.20.1supplement_421